Buy Used and New Dang Van Hung Books

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium Hanoi, Vietnam, October 17-21, 2005 Proceedings: 3722 (Lecture Notes in Computer Science)

by Dang Van Hung,Martin Wirsing

ISBN 13: 9783540291077

Format: Paperback (632 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings: 8172 (Lecture Notes in Computer Science)

by Dang Van Hung,Mizuhito Ogawa

ISBN 13: 9783319024431

Format: Paperback (544 pages)
Publisher: Springer
Published: 11 Sep 2013

Save for later

Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings: 10580 (Lecture Notes in Computer Science)

by Dang Van Hung,Deepak Kapur

ISBN 13: 9783319677286

Format: Paperback (328 pages)
Publisher: Springer
Published: 12 Oct 2017

Save for later